properties of iverse function